T. Bolandar, Patrick Blackburn; "Termination teblaeu calculi for hybrid logics extending K"